Analysis of Mixed Natural and Symbolic Input in Mathematical Dialogs
نویسندگان
چکیده
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded (semi-)formal symbolic mathematical expressions. We present language phenomena observed in a corpus of dialogs with a simulated tutorial system for proving theorems as evidence for the need for deep syntactic and semantic analysis. We propose an approach to input understanding in this setting. Our goal is a uniform analysis of inputs of different degree of verbalization: ranging from symbolic alone to fully worded mathematical expressions.
منابع مشابه
Lexical-Semantic Interpretation Of Language Input In Mathematical Dialogs
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded (semi-)formal symbolic mathematical expressions. Due to the lack of empirical data, little is known about the suitability of input analysis methods for mathematical discourse in a dialog setting. We present an input understanding method for a tutoring system teaching math...
متن کاملBuilding a Dependency-Based Grammar for Parsing Informal Mathematical Discourse
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitability of input analysis methods for mathematical discourse in a dialog setting, due to the lack of empirical data. In this paper, we report on the development of a dependency-based lexicalist grammar for parsing input in...
متن کاملMI 3 : DIALOG : Tutorial Dialog with an Assistance System for Mathematics
Our goal in the DIALOG project was to develop a flexible dialog system for tutoring mathematical problem solving, in particular, theorem proving. We set out to investigate what requirements the flexible dialog paradigm poses on the components of a tutorial dialog system. Empirical findings in the area of intelligent tutoring show that flexible natural language dialog supports active learning (M...
متن کاملSimulating Tutors with Natural Dialog and Pedagogical Strategies
Studies indicate that human tutors provide the most effective form of instruction known They raise the mean performance about two standard deviations compared to students taught in classrooms. Intelligent tutoring systems offer excellent instruction, but not quite as good as human tutors. The best ones raise performance about one standard deviation above classroom instruction (e.g., Anderson, C...
متن کاملDiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics
We present DiaWOz-II, a configurable software environment for Wizard-of-Oz studies in mathematics and engineering. Its interface is based on a structural wysiwyg editor which allows the input of complex mathematical formulae. This allows the collection of dialog corpora consisting of natural language interleaved with non-trivial mathematical expressions, which is not offered by other Wizard-of-...
متن کامل